Turing degree - PDFSEARCH.IO - Document Search Engine

Turing degree
Results: 32

#	Item
21	INTERPRETING TRUE ARITHMETIC IN THE LOCAL STRUCTURE OF THE ENUMERATION DEGREES. HRISTO GANCHEV AND MARIYA SOSKOVA 1. Introduction Degree theory studies mathematical structures, which arise from a formal notion of reducib Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2011-05-26 05:13:53 Logic Theory of computation Turing degree Enumeration Constructible universe Forcing Mathematical logic Mathematics Computability theory
22	KALIMULLIN PAIRS OF Σ02 ω-ENUMERATION DEGREES IVAN N. SOSKOV AND MARIYA I. SOSKOVA Abstract. We study the notion of K-pairs in the local structure of the ωenumeration degrees. We introduce the notion of super almost z Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2011-05-26 05:11:20 Enumeration Logic Ordinal number Turing degree Philosophy of mathematics Constructible universe Mathematics Computability theory Mathematical logic
23	EMBEDDING DISTRIBUTIVE LATTICES IN THE Σ02 ENUMERATION DEGREES HRISTO GANCHEV AND MARIYA SOSKOVA 1. Introduction The local structure of the enumeration degrees Ge is the partially ordered set of Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2009-11-24 09:49:40 Lattice theory Order theory Mathematical logic Algebra Distributive lattice Turing degree Enumeration Boolean algebra Total order Mathematics Algebraic structures Structure
24	Cupping Computably Enumerable Degrees in the Difference Hierarchy Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Applied mathematics Turing degree Recursively enumerable set Computable function Creative and productive sets Function Mathematical logic Computability theory Theory of computation Mathematics
25	Locally countable orderings Liang Yu Department of mathematics Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:21 Structure Antichain Turing degree Partially ordered set Computability theory Forcing Countable chain condition Order theory Mathematics Mathematical logic
26	Weak Degrees of ω Π0 Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Turing reduction Albert Muchnik Turing degree Decision problem SL Recursively enumerable set Reduction Theoretical computer science Computability theory Applied mathematics
27	History Logic and Medvedev Degrees Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:21 Computer science Turing degree Representation theory Reduction Computability theory Theoretical computer science Mathematics
28	PDF Document Add to Reading List Source URL: nzmathsoc.org.nz Language: English - Date: 2010-01-08 22:49:44 Applied mathematics Low High Computational complexity theory Turing reduction Mathematical logic Turing degree Alan Turing Complexity Computability theory Theoretical computer science Mathematics
29	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-10-06 14:59:22 Mathematics Computer science Recursively enumerable set Turing reduction Computable function Recursive set Turing degree Computability Numbering Computability theory Theoretical computer science Theory of computation
30	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2008-08-14 05:29:12 Logic Lattice theory Mathematical constructivism Non-classical logic Heyting algebra Turing degree Reduction Turing reduction Albert Muchnik Mathematical logic Mathematics Computability theory

UPDATE